10 A Logic-based Calculus of Events ROBERT KOWALSKI and MAREK SERGOT

Source URL: www.doc.ic.ac.uk

• Theoretical computer science
• Knowledge representation
• Logic in computer science
• Event calculus
• Frame problem
• Situation calculus
• Function
• Calculus
• Prolog
• Logic programming
• Mathematics
• Mathematical logic